Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Bavière And NotJohannes Maria Zaha

List of bibliographic references

Number of relevant bibliographic references: 55.
Ident.Authors (with country if any)Title
000B86 Patrizio Angelini [Italie] ; David Eppstein [États-Unis] ; Fabrizio Frati [Australie] ; Michael Kaufmann [Allemagne] ; Sylvain Lazard [France] ; Tamara Mchedlidze [Allemagne] ; Monique Teillaud [France] ; Alexander Wolff [Allemagne]Universal Point Sets for Planar Graph Drawing with Circular Arcs
000E36 John Nassour [Allemagne] ; Patrick Henaff [France] ; Fethi Benouezdou [France] ; Gordon Cheng [Allemagne]Multi-layered multi-pattern CPG for adaptive locomotion of humanoid robots
001073 Patrizio Angelini [Italie] ; David Eppstein [États-Unis] ; Fabrizio Frati [Australie] ; Michael Kaufmann [Allemagne] ; Sylvain Lazard [France] ; Tamara Mchedlidze [Allemagne] ; Monique Teillaud [France] ; Alexander Wolff [Allemagne]Universal Point Sets for Planar Graph Drawings with Circular Arcs
001540 Jasmin Christian Blanchette [Allemagne] ; Andrei Popescu [Allemagne]Mechanizing the Metatheory of Sledgehammer
001676 Tobias Nipkow [Allemagne] ; Maximilian Haslbeck [Allemagne]A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions
002610 Violeta I. Pérez-Nueno [France, Allemagne] ; Vishwesh Venkatraman [France] ; Lazaros Mavridis [France] ; Tim Clark [Allemagne] ; David W. Ritchie [France]Using Spherical Harmonic Surface Property Representations for Ligand‐Based Virtual Screening
002F98 Ralf Ellner [Allemagne] ; Samir Al-Hilank [Allemagne] ; Johannes Drexler [Allemagne] ; Martin Jung [Allemagne] ; Detlef Kips [Allemagne] ; Michael Philippsen [Allemagne]eSPEM – A SPEM Extension for Enactable Behavior Modeling
003042 Xavier Goaoc [France] ; Stefan König [Allemagne] ; Sylvain Petitjean [France]Pinning a Line by Balls or Ovaloids in ℝ3
004278 Tobias Blum [Allemagne, États-Unis] ; Nicolas Padoy [Allemagne, France] ; Hubertus Feu Ner [Allemagne] ; Nassir Navab [Allemagne]Workflow mining for visualization and analysis of surgeries
004320 Christian Urban [Allemagne] ; Bozhi ZhuRevisiting Cut-Elimination: One Difficult Proof Is Really a Proof
004357 Tobias Blum [Allemagne] ; Nicolas Padoy [Allemagne, France] ; Hubertus Feu Ner [Allemagne] ; Nassir Navab [Allemagne]Modeling and Online Recognition of Surgical Phases Using Hidden Markov Models
004417 Ulrich Klank [Allemagne] ; Nicolas Padoy [Allemagne, France] ; Hubertus Feussner [Allemagne] ; Nassir Navab [Allemagne]Automatic feature generation in endoscopic images
004C29 Andreas Abel [Allemagne]Mixed Inductive/Coinductive Types and Strong Normalization
005238 Martin Groher [Allemagne] ; Nicolas Padoy [Allemagne] ; Tobias F. Jakobs [Allemagne] ; Nassir Navab [Allemagne]New CTA Protocol and 2D-3D Registration Method for Liver Catheterization
005589 Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France]Specification and refinement of mobile systems in MTLA and mobile UML
006165 Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France]Truly On-the-Fly LTL Model Checking
006182 A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heám [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigan [Suisse] ; L. Vigneron [France]The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
006302 Alessandro Armando [Italie] ; David Basin [Suisse] ; Jorge Cuellar [Allemagne] ; Michaël Rusinowitch [France] ; Luca Vigan [Suisse]Automated Reasoning for Security Protocol Analysis
006B43 Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne]Refining Mobile UML State Machines
006B93 Reinhold Letz [Allemagne] ; Gernot Stenz [Allemagne]Generalised Handling of Variables in Disconnection Tableaux
006C94 M. Hofmann [Allemagne] ; P. J. Scott [Canada]Realizability models for BLL-like languages
006D23 Klaus Aehlig [Allemagne] ; Ulrich Berger [Royaume-Uni] ; Martin Hofinann [Allemagne] ; Helmut Schwichtenberg [Allemagne]An arithmetic for non-size-increasing polynomial-time computation
007B09 Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Júlia Zappe [Allemagne]A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
008780 B. Sch Tz [Allemagne] ; A. Pretschner [Allemagne] ; F. Huber [Allemagne] ; J. Philipps [Allemagne]Model-Based Development of Embedded Systems
008861 Dominik Haneberg [Allemagne] ; Wolfgang Reif [Allemagne] ; Kurt Stenzel [Allemagne]A Method for Secure Smartcard Applications
009258 Michael Gnatz [Allemagne] ; Frank Marschall [Allemagne] ; Gerhard Popp [Allemagne] ; Andreas Rausch [Allemagne] ; Wolfgang Schwerin [Allemagne]Towards a Living Software Development Process Based on Process Patterns
009329 Michael Gnatz [Allemagne] ; Frank Marschall [Allemagne] ; Gerhard Popp [Allemagne] ; Andreas Rausch [Allemagne] ; Wolfgang Schwerin [Allemagne]Modular Process Patterns Supporting an Evolutionary Software Development Process
009370 Franz Baader [Allemagne] ; Klaus U. Schulz [Allemagne]Combining Constraint Solving
009E00 Klaus U. Schulz [Allemagne]Why Combined Decision Problems Are Often Intractable
009F87 Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne]Predicate diagrams for the verification of reactive systems
00AA41 Yassine Mokhtari [France] ; Stephan Merz [Allemagne]Animating TLA Specifications
00AA57 Emmanuel Olivier [France] ; Emmanuelle Soury [France] ; Jean-Loup Risler [France] ; Fatima Smih [France] ; Kurt Schneider [Allemagne] ; Klaus Lochner [Allemagne] ; Jean-Yves Jouzeau [France] ; Georg H. Fey [Allemagne] ; Jean-Philippe Salier [France]A Novel Set of Hepatic mRNAs Preferentially Expressed during an Acute Inflammation in Rat Represents Mostly Intracellular Proteins
00B361 Rolf Backofen [Allemagne] ; Ralf Treinen [France]How to Win a Game with Features
00BC90 Ludwig Fahrmeir [Allemagne] ; Leonhard Knorr-Held [Allemagne]9. Dynamic Discrete-Time Duration Models: Estimation Viamarkov Chain Monte Carlo
00BF60 Martin Russling [Allemagne]Deriving a class of layer-oriented graph algorithms
00C631 María J. Carrascal [Allemagne] ; Louis F. Pau [France] ; Ludwig Reiner [Allemagne]Knowledge and information transfer in agriculture using hypermedia: a system review
00C694 Josef Brüederl [Allemagne] ; Andreas Diekmann [Suisse]The Log-Logistic Rate Model
00C786 Alexander Clemm [Allemagne]Adding value to MIBs: A relationship layer for management platforms
00C796 Martin Russling [Allemagne]A general scheme for breadth-first graph traversal
00CD64 Wilfried Buchholz [Allemagne] ; Adam Cichon [France] ; Andreas Weiermann [Allemagne]A Uniform Approach to Fundamental Sequences and Hierarchies
00D123 M. Beemster [Pays-Bas] ; P. H Hartel [Pays-Bas] ; L. O Hertzberger [Pays-Bas] ; R. F. H Hofman [Pays-Bas] ; K. G Langendoen [Pays-Bas] ; L. L Li [Allemagne] ; R. Milikowski [Pays-Bas] ; Wg Vree [Pays-Bas] ; H. P Barendregt [Pays-Bas] ; J. C Mulder [Pays-Bas]Experience with a clustered parallel reduction machine
00D198 Eric Monfroy [Allemagne]Gröbner bases: Strategies and applications
00D640 R. Rockwell [Allemagne]Software development is a communication process
00D684 Thom Frühwirth [Allemagne] ; Alexander Herold [Allemagne] ; Volker Küchenhoff [Allemagne] ; Thierry Le Provost [Allemagne] ; Pierre Lim [Allemagne] ; Eric Monfroy [Allemagne] ; Mark Wallace [Allemagne]Constraint Logic Programming
00DA82 Helmut Plünnecke ; Wolfgang Reisig [Allemagne]Bibliography of Petri nets 1990
00E375 Bernhard Möller [Allemagne] ; Andrzej Tarlecki ; Martin WirsingAlgebraic specifications of reachable higher-order algebras
00ED04 Martin Wirsing [Allemagne] ; Peter Pepper [Allemagne] ; Helmut Partsch [Allemagne] ; Walter Dosch [Allemagne] ; Manfred Broy [Allemagne]On hierarchies of abstract data types
00ED06 Harald Ganzinger [Allemagne]Modular compiler descriptions based on abstract semantic data types (Extended Abstract)
00ED63 Hans-Werner Hein [Allemagne]The Erlangen Speech Understanding Project
00ED77 Manfred Broy [Allemagne] ; Martin Wirsing [Allemagne]Partial abstract types
00ED83 R. Burkhardt [Allemagne] ; R. Bartl [Allemagne] ; B. Frisch [Israël] ; K. J Ger [Allemagne] ; G. Mahl [Allemagne] ; W. Hill [Allemagne] ; G. Kettner [Allemagne] ; F. Bonnel [France] ; J. Teissier [France] ; Y. Allieu [France] ; A. Cazelas [France] ; T. Farkas [Hongrie] ; I. Zimmermann [Hongrie] ; P. Siko [Hongrie] ; T. Viola [Hongrie] ; D. Robles Marin ; R. Broseta ; J. L. Berlanga ; M. Aranda ; M. Marti ; P. Andreu ; Gwo Jaw Wang [États-Unis] ; S. L. Hubbard [États-Unis] ; S. I. Regor [États-Unis] ; E. D. Miller [États-Unis] ; W. G. Stamp [États-Unis] ; G. J. Wang [États-Unis] ; G. J. Rawles [États-Unis] ; J. B. Paolaggi [France] ; J. M. Le Parc [France] ; M. Durigon [France] ; D. Barres [France] ; F. Paolaggi [France] ; F. Blotman [France] ; C. Colette [France] ; L. Monnier [France] ; P. Baldet [France] ; L. Simon [France] ; G. Bouteiller [France] ; J. Arlet [France] ; A. Blasco ; F. Vigoni ; A. Eleftérion ; A. Trias [Canada] ; L. Téot [Canada] ; L. Tétreault [Canada] ; J. Pooley [Royaume-Uni] ; D. N. Walder [Royaume-Uni] ; P. Griss [Allemagne] ; M. Mohr [Allemagne] ; Y. Ishida [Allemagne] ; A. Gaucher [France] ; A. Bertrand [France] ; P. Wiederkehr [France] ; C. Hocquard [France] ; P. Raul [France] ; J. Adolphe [France] ; D. Mess [États-Unis] ; D. Pavel [États-Unis] ; R. Barmada [États-Unis] ; F. Schuind [Belgique] ; A. Schoutens ; W. Verhas ; A. Verschaeren [Belgique] ; J. P. Steib [France] ; G. Lang [France] ; B. Moysses [France] ; K. Kleinklaus [France] ; M. Ram [Suisse] ; J. Theron [France] ; M. Collette [Belgique] ; P. Ficat [France] ; R. Durroux [France] ; E. Horvath [France] ; M. Boussaton [France] ; J. N. Senie [France] ; M. Brookes [Royaume-Uni] ; F. W. Heatley [Royaume-Uni] ; J. F. Connoily [États-Unis] ; D. Chakkalakal [États-Unis] ; M. Kelbel [États-Unis] ; U. Pfister [Allemagne] ; P. J. Gregg [Royaume-Uni] ; C. B. Clayton [Royaume-Uni] ; G. K. Ions [Royaume-Uni] ; S. R. Smith [Royaume-Uni] ; H. Schmelzeisen [Allemagne] ; S. M. Perren [Allemagne] ; B. Rahn [Allemagne] ; T. Albrektsson [Suède] ; T. Albrektsson [Suède] ; I. D. Mccarthy [Royaume-Uni] ; S. P. F. Hughes [Royaume-Uni, États-Unis] ; P. Tothill [Royaume-Uni] ; G. Hooper [Royaume-Uni] ; E. T Ndevold [Danemark] ; J. Bülow [Danemark] ; T. R. Light [États-Unis] ; M. R. Mckinstry ; J. Schnitzer ; J. Ogden [États-Unis] ; P. Vicente [Canada] ; M. A. Gunst [Suisse] ; B. A. Rahn [Suisse] ; U. Lüthy [Suisse] ; S. M. Perren [Suisse] ; I. Mccarthy [Royaume-Uni] ; R. Wootton [Royaume-Uni] ; C. Arnoldi [Danemark] ; C. Bünger [Danemark] ; L. Kery ; M. F. Driessens [Belgique, Suède] ; G. Mortier [Belgique, Suède] ; P. M. Vanhoutte [Belgique] ; M. A. Tran [France] ; Dang Tran Lac [France] ; M. Berlan [France] ; S. Solomon [Afrique du Sud] ; C. M. Schnitzler [Afrique du Sud] ; H. Seftel [Afrique du Sud] ; D. Mendelsohn [Afrique du Sud] ; H. Kundig [Afrique du Sud] ; J. P. Van Vuren [Afrique du Sud] ; R. K. Spence [États-Unis] ; A. Alavi [États-Unis] ; C. F. Barker [États-Unis] ; R. G. Grossman [États-Unis] ; B. Slaven [États-Unis] ; M. E. Steinberg [États-Unis] ; J. Lane [États-Unis] ; J. Benoit [France] ; H. Danon [France] ; A. Lortat-Jacob [France] ; J. Y. Dupont [France] ; M. Durigon [France] ; J. D. Spencer [Royaume-Uni] ; R. Cabannes [Côte d'Ivoire] ; F. Sombo [Côte d'Ivoire] ; E. T. Habermann [Canada] ; M. A. Hartzband [États-Unis] ; H. Zollinger [Suisse] ; St. Kubik [Suisse] ; A. Schreiber [Suisse] ; Ch. Fauchier [France] ; F. Jacqueline [France] ; W. Remagen [Suisse] ; J. M. Saint-André [France] ; T. Vizkelety [Hongrie] ; A. J. Malcolm [Royaume-Uni] ; E. Warda [Pologne] ; P. C. Dell [États-Unis] ; H. Burchardt [États-Unis] ; U. K. Luethi ; R. D. Stroud ; B. A. Rahn ; S. A. Brown ; G. Bauer [Suède] ; L. I. Hanson [Suède] ; J. Palmer [Suède] ; B. Stromqvist [Suède] ; G. D. Hayken [États-Unis] ; D. R. Steinberg [États-Unis] ; J. M. Baixe [France] ; C. T. Brighton [États-Unis] ; S. E. Tooze [États-Unis] ; C. A. L. Bassett [États-Unis] ; M. M. Schink [États-Unis] ; S. N. Mitchell [États-Unis] ; H. Judet [France] ; A. Gilbert [France] ; J. Jude [France] ; H. B. Skinner [États-Unis] ; A. R. Penix [États-Unis] ; S. D. Cook [États-Unis] ; R. J. Haddad Jr. [États-Unis] ; C. Nedjar [France] ; C. Ficat [France] ; P. P. G. Blockx [Belgique] ; C. H. Bauer [Suède] ; J. L. Décamps ; E. H. Bünger [Danemark] ; J. Bülow [Danemark] ; J. C. Djurhuus [Danemark] ; D. Chappard [France] ; J. L. Laurent [France] ; C. Alexandre [France] ; G. Riffat [France] ; S. B. Christensen [Danemark] ; I. Reimann [Danemark] ; O. Henriksen [Danemark] ; J. L. Berlabga ; Y. Andrianne [Belgique] ; F. Burny [Belgique] ; M. Donkerwolcke [Belgique] ; O. Saric [Belgique] ; Taberly [France] ; Pradere [France] ; Regis [France] ; Bru [France] ; Bouzet [France] ; Mazières [France] ; Arlet [France]International Symposium on bone vascularization
00ED91 Martin Wirsing [Allemagne] ; Manfred Broy [Allemagne]An Analysis of Semantic Models for Algebraic Specifications
00ED93 Wolfgang J. Hess [Allemagne]Algorithms and Devices for Pitch Determination of Speech Signals
00EE29 J. A. Bergstra [Pays-Bas] ; M. Broy [Allemagne] ; J. V. Tucker [Royaume-Uni] ; M. Wirsing [Royaume-Uni]On the power of algebraic specifications
00EE95 M. Broy [Allemagne] ; M. Wirsing [Allemagne] ; J. P. Finance [France] ; A. Quéré [France] ; J. L. Remy [France]Methodical solution of the problem of ascending subsequences of maximum length within a given sequence
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022